Deep inference and expansion trees for second-order multiplicative linear logic
نویسندگان
چکیده
منابع مشابه
The Undecidability of Second Order Multiplicative Linear Logic
The multiplicative fragment of second order propositional linear logic is shown to be undecidable.
متن کاملProbabilistic Inference and Monadic Second Order Logic
This paper combines two classic results from two different fields: the result by Lauritzen and Spiegelhalter [21] that the probabilistic inference problem on probabilistic networks can be solved in linear time on networks with a moralization of bounded treewidth, and the result by Courcelle [10] that problems that can be formulated in counting monadic second order logic can be solved in linear ...
متن کاملSome Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new aspects of the proof theory of MLL2 with units. First, we give a novel proof system in the framework of the calculus of structures. The main feature of the new system is the consequent use of deep inference, which allows us to obs...
متن کاملMonadic Second-Order Logic and Transitive Closure Logics over Trees
Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural languages by defining their derivation trees in suitable logical formalisms. The central tool for model theoretic syntax has been monadic second-order logic (MSO). Much of the recent research in this area has been concerned with finding more expressive logics to capture the derivation ...
متن کاملRobust Second Order Accurate Inference for Generalized Linear Models
Generalized linear models have become the most commonly used class of regression models in the analysis of a large variety of data. In particular, generalized linear model can be used to model the relationship between predictors and a function of the mean of a continuous or discrete response variable. The estimation of the parameters of the model can be carried out by maximum likelihood or quas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2018
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129518000385